Types for Web Rule Languages: a preliminary study
نویسندگان
چکیده
We survey and analyse the relevant existing work on typing of rules, in particular on typing of constraint logic programs and discuss applicability of these approaches to the REWERSE reasoning and query languages under development by WG I1 and by WG I4. This is related to WG I1, developing logic programming like languages for reasoning on the web and with WG I4 investigating development of declarative query languages such as XPathLog and Xcerpt. Keyword List constraint, rewriting, rule based language, type system
منابع مشابه
An Executive Approach Based On the Production of Fuzzy Ontology Using the Semantic Web Rule Language Method (SWRL)
Today, the need to deal with ambiguous information in semantic web languages is increasing. Ontology is an important part of the W3C standards for the semantic web, used to define a conceptual standard vocabulary for the exchange of data between systems, the provision of reusable databases, and the facilitation of collaboration across multiple systems. However, classical ontology is not enough ...
متن کاملModel transformations to bridge concrete and abstract syntax of web rule languages
This paper presents a solution to bridging the abstract and concrete syntax of a Web rule languages by using model transformations. Current specifications of Web rule languages such as Semantic Web Rule Language (SWRL) or RuleML define their abstract syntax (e.g., metamodel) and concrete syntax (e.g., XML schema) separately. Although the recent research in the area of Model-Driven Engineering (...
متن کاملBridging Concrete and Abstract Syntax of Web Rule Languages
This paper proposes a solution for bridging abstract and concrete syntax of a Web rule language by using model transformations. Current specifications of Web rule languages such as Semantic Web Rule Language (SWRL) define its abstract syntax (e.g., EBNF notation) and concrete syntax (e.g., XML schema) separately. Although the recent research in the area of Model-Driven Engineering demonstrates ...
متن کاملIs rule 13 of educational legislation for gifted and talented students in universities a valid rule? A preliminary report
Introduction. Iranian talented university students who take term averages below 17 for at least twice can’t use facilities of educational legislation for gifted and talented students in universities. This study deals with validity of this rule. Methods. Renzullis three ring conception of giftedness was selected as gifted definition. Obtaining grade point averages equal or more than 15 was rega...
متن کاملModeling languages for business processes and business rules: A representational analysis
Process modeling and rule modeling languages are both used to document organizational policies and procedures. To date, their synergies and overlap are underresearched. Understanding the relationship between the two modeling types would allow organizations to maximize synergies, avoid content duplication, and thus reduce their overall modeling effort. In this paper, we use the Bunge–Wand–Weber ...
متن کامل